Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
291	Overview Lecture T2: Turing Machines Attempt to understand essential nature of computation by studying properties of simple machine models. Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2001-02-02 11:59:52 Automata theory Turing machine Computer science Deterministic pushdown automaton Finite-state machine Linear bounded automaton National Parliamentary Debate Association NP Pushdown automaton Theory of computation Models of computation Theoretical computer science
292	Hyper-Minimization in O(n2 ) Andrew Badr [removed] Flowgram Research Division 650 Townsend #315 San Francisco, CA 94103 Add to Reading List Source URL: www.andrewbadr.com Language: English - Date: 2008-07-27 22:06:23 DFA minimization Regular language Finite-state machine Deterministic finite automaton Nondeterministic finite automaton Automata theory Theoretical computer science Computer science
293	BRICS Basic Research in Computer Science MONA Version 1.4 User Manual Nils Klarlund, [removed] Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:00:12 Models of computation Computer science Model checking Finite-state machine Deterministic finite automaton Formal language Tree automaton Formal verification Second-order logic Automata theory Theoretical computer science Applied mathematics
294	On Voting Machine Design for Verification and Testability Cynthia Sturton Susmit Jha Sanjit A. Seshia Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2015-01-21 19:48:40 Electronic voting Information society Voting machine Finite-state machine Voting system Theoretical computer science Design for testing X-Machine Testing Stream X-Machine Models of computation Politics Design
295	Towards a Belief-Based Theory of Repeated Games with Private Monitoring: An Application of POMDP∗ KANDORI, Michihiro Faculty of Economics University of Tokyo Add to Reading List Source URL: federation.ens.fr Language: English - Date: 2012-09-26 07:59:55 Markov processes Stochastic control Control theory Game theory Partially observable Markov decision process Finite-state machine Markov decision process Repeated game Statistics Automata theory Dynamic programming
296	International Transaction of Electrical and Computer Engineers System, 2014, Vol. 2, No. 3, 93-97 Available online at http://pubs.sciepub.com/iteces/2/3/3 © Science and Education Publishing DOI:[removed]iteces[removed]A Add to Reading List Source URL: www.sciepub.com Language: English Computational neuroscience Cybernetics Markov models Computational statistics Bioinformatics Artificial neural network Hidden Markov model Finite-state machine Markov chain Neural networks Machine learning Statistics
297	A Structure for Modern Computer Narratives Clark Verbrugge School of Computer Science McGill University Montreal, Quebec, CANADA H3A 2A7 [removed] Add to Reading List Source URL: gram.cs.mcgill.ca Language: English - Date: 2014-03-14 23:54:01 Models of computation Hypergraph Petri net Graph Tree traversal Finite-state machine Bipartite graph Topology Graph theory Theoretical computer science Mathematics
298	Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?∗ David N. Jansen Max-Planck-Institut f¨ur Informatik Saarbr¨ucken, Germany dnjansen @ mpi-sb.mpg.de Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 10:38:36 UML diagrams Unified Modeling Language Infographics Science Software engineering State diagram Finite-state machine European Train Control System Petri net Diagrams Models of computation Statistics
299	Context-Sensitive Diagnosis of Discrete-Event Systems Add to Reading List Source URL: ijcai.org Language: English - Date: 2011-06-29 07:12:56 Medical diagnosis Diagnosis Fault Knowledge Automata theory Models of computation Finite-state machine
300	Dissertation On the Relative Descriptional Complexity of Regular Expressions and Finite Automata Stefan Gulan Add to Reading List Source URL: ubt.opus.hbz-nrw.de Language: English - Date: 2012-01-09 05:11:16 Formal languages Computer science Applied mathematics Pattern matching Regular expression Finite-state machine Nondeterministic finite automaton Automata theory Models of computation Theoretical computer science

UPDATE